Gradual negation types and the Python type system
jellezijlstra.github.io·2h·
Discuss: Hacker News
🔬Refinement Types
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·5h
🔐Quantum Security
Historical highlights?
logicmatters.net·1d
🔀Category Theory
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·2d
🏗️Constructive Mathematics
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·6h·
Discuss: Hacker News
🔗Concatenative Programming
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
A Wide Reduction Trick (2022)
words.filippo.io·6h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·8h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Proof by Intimidation
en.wikipedia.org·1d·
Discuss: Hacker News
🎯Proof Tactics
Machine Learning Fundamentals: dimensionality reduction
dev.to·17h·
Discuss: DEV
📐Linear Algebra
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·2d
🧮Kolmogorov Complexity
How to reason from first principles
caseyhandmer.wordpress.com·14h
🎯Proof Tactics
Everyone knows what a horse is: What we got wrong about universal translators
nimishg.substack.com·1h·
Discuss: Substack
💻Programming languages
Cancellative Convex Semilattices
arxiv.org·1d
⚔️Lean Theorem
Texas sharpshooter fallacy - Wikipedia
en.m.wikipedia.org·21h
🧠Intelligence Compression
2011 N1 = 2024 A2
blog.evanchen.cc·15h
🔬Lean
Extensions and Shadows (6)
sites.psu.edu·2d
🎯Proof Tactics
Parsing Protobuf Like Never Before
mcyoung.xyz·1d
🔧Binary Parsers